<?php class BatchTest7 {}